<?php
$puerto = addslashes($_POST['irapuerto']);
header('Location: http://localhost:'.$puerto);
?>